Cut-free Calculi and Relational Semantics for Temporal STIT Logics

We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as contraction- and cut-admissibility. The labelled calculi G3Ldm and G3Tstit are shown sound and complete relative to irreflexive temporal frames. Additionally, we extend current results by showing that also Xstit can be characterized through relational frames, omitting the use of BT+AC frames

Polar diversity of the Tardigrada: A combined morphological / molecular approach.

http://www.uam.es/otros/cn-scar//SCAR_IASC_IPY/pdf/17167.pdfPOLAR DIVERSITY OF THE TARDIGRADA: A COMBINED MORPHOLOGICAL / MOLECULAR APPROACH C.J. Sands1 , S.J. McInnes1 , N.J. Marley2 , W.P. Goodall-Copestake1 , P. Convey1 , L. Linse1 1 - Natural Environment Research Council, British Antarctic Survey, High Cross, Madingley Road, Cambridge, CB3 0ET, United Kingdom 2 - Marine Biology and Ecology Research Centre, University of Plymouth, Drake Circus, Plymouth, PL4 8AA, United Kingdom [email protected] Examining the spatial distributions of organisms can provide information regarding their evolutionary history. We are investigating the origins and the processes that influence the contemporary distribution and diversity of Antarctic terrestrial biota. Tardigrades were chosen as a model group, as representatives are found in a diverse range of habitats across the Antarctic continent and sub-Antarctic islands. Our investigations involving approximately 400 individuals and 3 genes have identified systematic complexity requiring attention in order to prevent confounding the biogeographic signal. To overcome the challenges inherent in taxonomic and molecular work on very tiny animals (meiofauna), we have developed a protocol that allows efficient sample extraction and identification without interfering with downstream molecular processes. Our protocol provides joint morphological/molecular assessment of tardigrade taxonomy at the level of the individual that has resulted in identification of numerous cryptic species, cryptic genera and even cryptic families. To resolve polyphyly at the family level we have proposed three superfamilies that are strongly supported by molecular analyses. Here we present a systematic revision of the phylum Tardigrada along with some novel insights regarding Antarctic tardigrade biogeography

Ethical principles in machine learning and artificial intelligence: cases from the field and possible ways forward

Decision-making on numerous aspects of our daily lives is being outsourced to machine-learning algorithms and artificial intelligence (AI), motivated by speed and efficiency in the decision process. Machine learning (ML) approaches - one of the typologies of algorithms underpinning artificial intelligence - are typically developed as black boxes. The implication is that ML code scripts are rarely scrutinised; interpretability is usually sacrificed in favour of usability and effectiveness. Room for improvement in practices associated with programme development have also been flagged along other dimensions, including inter alia fairness, accuracy, accountability, and transparency. In this contribution, the production of guidelines and dedicated documents around these themes is discussed. The following applications of AI-driven decision making are outlined: a) Risk assessment in the criminal justice system, and b) autonomous vehicles, highlighting points of friction across ethical principles. Possible ways forward towards the implementation of governance on AI are finally examined

Broad clinical phenotypes associated with TAR-DNA binding protein (TARDBP) mutations in amyotrophic lateral sclerosis

The finding of TDP-43 as a major component of ubiquitinated protein inclusions in amyotrophic lateral sclerosis (ALS) has led to the identification of 30 mutations in the transactive response-DNA binding protein (TARDBP) gene, encoding TDP-43. All but one are in exon 6, which encodes the glycine-rich domain. The aim of this study was to determine the frequency of TARDBP mutations in a large cohort of motor neurone disease patients from Northern England (42 non-superoxide dismutase 1 (SOD1) familial ALS (FALS), nine ALS-frontotemporal dementia, 474 sporadic ALS (SALS), 45 progressive muscular atrophy cases). We identified four mutations, two of which were novel, in two familial (FALS) and two sporadic (SALS) cases, giving a frequency of TARDBP mutations in non-SOD1 FALS of 5% and SALS of 0.4%. Analysis of clinical data identified that patients had typical ALS, with limb or bulbar onset, and showed considerable variation in age of onset and rapidity of disease course. However, all cases had an absence of clinically overt cognitive dysfunction

Comparing the Performances of Apes (Gorilla gorilla, Pan troglodytes, Pongo pygmaeus) and Human Children (Homo sapiens) in the Floating Peanut Task

Recently, Mendes et al. [1] described the use of a liquid tool (water) in captive orangutans. Here, we tested chimpanzees and gorillas for the first time with the same “floating peanut task.” None of the subjects solved the task. In order to better understand the cognitive demands of the task, we further tested other populations of chimpanzees and orangutans with the variation of the peanut initially floating or not. Twenty percent of the chimpanzees but none of the orangutans were successful. Additional controls revealed that successful subjects added water only if it was necessary to obtain the nut. Another experiment was conducted to investigate the reason for the differences in performance between the unsuccessful (Experiment 1) and the successful (Experiment 2) chimpanzee populations. We found suggestive evidence for the view that functional fixedness might have impaired the chimpanzees' strategies in the first experiment. Finally, we tested how human children of different age classes perform in an analogous experimental setting. Within the oldest group (8 years), 58 percent of the children solved the problem, whereas in the youngest group (4 years), only 8 percent were able to find the solution

From mechatronics to the Cloud

At its conception mechatronics was viewed purely in terms of the ability to integrate the technologies of mechanical and electrical engineering with computer science to transfer functionality, and hence complexity, from the mechanical domain to the software domain. However, as technologies, and in particular computing technologies, have evolved so the nature of mechatronics has changed from being purely associated with essentially stand-alone systems such as robots to providing the smart objects and systems which are the building blocks for Cyber-Physical Systems, and hence for Internet of Things and Cloud-based systems. With the possible advent of a 4th Industrial Revolution structured around these systems level concepts, mechatronics must again adapt its world view, if not its underlying technologies, to meet this new challenge

A comprehensive 1000 Genomes-based genome-wide association meta-analysis of coronary artery disease

Existing knowledge of genetic variants affecting risk of coronary artery disease (CAD) is largely based on genome-wide association studies (GWAS) analysis of common SNPs. Leveraging phased haplotypes from the 1000 Genomes Project, we report a GWAS meta-analysis of 185 thousand CAD cases and controls, interrogating 6.7 million common (MAF>0.05) as well as 2.7 million low frequency (0.005<MAF<0.05) variants. In addition to confirmation of most known CAD loci, we identified 10 novel loci, eight additive and two recessive, that contain candidate genes that newly implicate biological processes in vessel walls. We observed intra-locus allelic heterogeneity but little evidence of low frequency variants with larger effects and no evidence of synthetic association. Our analysis provides a comprehensive survey of the fine genetic architecture of CAD showing that genetic susceptibility to this common disease is largely determined by common SNPs of small effect siz

IgG1 Is Required for Optimal Protection after Immunization with the Purified Porin OmpD from Salmonella Typhimurium

In mice, the IgG subclass induced after Ag encounter can reflect the nature of the Ag. Th2 Ags such as alum-precipitated proteins and helminths induce IgG1, whereas Th1 Ags, such as Salmonella Typhimurium, predominantly induce IgG2a. The contribution of different IgG isotypes to protection against bacteria such as S. Typhimurium is unclear, although as IgG2a is induced by natural infection, it is assumed this isotype is important. Previously, we have shown that purified S. Typhimurium porins including outer membrane protein OmpD, which induce both IgG1 and IgG2a in mice, provide protection to S. Typhimurium infection via Ab. In this study we report the unexpected finding that mice lacking IgG1, but not IgG2a, are substantially less protected after porin immunization than wild-type controls. IgG1-deficient mice produce more porin-specific IgG2a, resulting in total IgG levels that are similar to wild-type mice. The decreased protection in IgG1-deficient mice correlates with less efficient bacterial opsonization and uptake by macrophages, and this reflects the low binding of outer membrane protein OmpD-specific IgG2a to the bacterial surface. Thus, the Th2-associated isotype IgG1 can play a role in protection against Th1-associated organisms such as S. Typhimurium. Therefore, individual IgG subclasses to a single Ag can provide different levels of protection and the IgG isotype induced may need to be a consideration when designing vaccines and immunization strategies

Total synthesis of Escherichia coli with a recoded genome

Nature uses 64 codons to encode the synthesis of proteins from the genome, and chooses 1 sense codon—out of up to 6 synonyms—to encode each amino acid. Synonymous codon choice has diverse and important roles, and many synonymous substitutions are detrimental. Here we demonstrate that the number of codons used to encode the canonical amino acids can be reduced, through the genome-wide substitution of target codons by defined synonyms. We create a variant of Escherichia coli with a four-megabase synthetic genome through a high-fidelity convergent total synthesis. Our synthetic genome implements a defined recoding and refactoring scheme—with simple corrections at just seven positions—to replace every known occurrence of two sense codons and a stop codon in the genome. Thus, we recode 18,214 codons to create an organism with a 61-codon genome; this organism uses 59 codons to encode the 20 amino acids, and enables the deletion of a previously essential transfer RNA